#ifndef __CLOCK_INTERRUPT_HANDLER_H
#define __CLOCK_INTERRUPT_HANDLER_H
#include "stdint.h"
void intr_timer_handler(void);
#endif